measure($C$) = 1 $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$m$:$\mathbb{N}^{+}$. $\exists$$n$:$\mathbb{N}$. 1 {-} (1/$m$) $\leq$ E($n$;$\lambda$$s$.$C$($<$$n$, $s$$>$))